Dialectical Argumentation for Reasoning about Chemical Carcinogenicity
نویسندگان
چکیده
We aim to build intelligent systems which can reason autonomously about the carcinogenicity of chemicals. Scientific debates in this area draw on evidence from multiple, and often conflicting sources, both theoretical and experimental, and participants use various modes of inferential reasoning. In seeking to automate such reasoning, we have first articulated precisely the multiple modes of inference used when an assertion of human carcinogenicity is made from experimental animal evidence. Because such inferences are often contested, scientific debate in this domain can be vigorous. To model such debates, we propose the use of a form of dialectical argumentation, drawing on Habermas’ philosophy of Discourse Ethics [9] and Pera’s philosophy of science [18]. The resulting formalism permits the representation of uncertainty and disagreement regarding the modes of inference used, as well as the claims being asserted.
منابع مشابه
Risk Agoras: Dialectical Argumentation for Scientific Reasoning
We propose a formal framework for intelligent systems which can reason about scientific do mains, in particular about the carcinogenicity of chemicals, and we study its properties. Our framework is grounded in a philosophy of sci entific enquiry and discourse, and uses a model of dialectical argumentation. The formalism en ables representation of scientific uncertainty and conflict in a mann...
متن کاملReasoning about Preferences in Structured Extended Argumentation Frameworks
This paper combines two recent extensions of Dung’s abstract argumentation frameworks in order to define an abstract formalism for reasoning about preferences in structured argumentation frameworks. First, extended argumentation frameworks extend Dung frameworks with attacks on attacks, thus providing an abstract dialectical semantics that accommodates argumentation-based reasoning about prefer...
متن کاملIntegrating Dialectical and Accrual Modes of Argumentation
This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be formalised within metalevel argumentation frameworks. These frameworks adopt the same machinery and level of abstraction as Dung’s argumentation framework. We thus provide a dialectical argumentation semantics that integrates accr...
متن کاملDialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as thèlogical core' ...
متن کاملOn the existence and multiplicity of extensions in dialectical argumentation
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of extensions in terms of the notion of dialectical justification, a close cousin of the notion of admissibility. The characterization is given in the context of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 9 شماره
صفحات -
تاریخ انتشار 2001